From e68d317adcf6398ce4bf6affbaf4d4a23be4aee8 Mon Sep 17 00:00:00 2001 From: Jochen Sprickerhof Date: Tue, 12 Oct 2021 09:45:14 +0200 Subject: [PATCH] Bump Java source/target versions Closes: #981974 --- debian/rules | 2 ++ 1 file changed, 2 insertions(+) diff --git a/debian/rules b/debian/rules index e28c06c6a..c35cad06b 100755 --- a/debian/rules +++ b/debian/rules @@ -71,6 +71,8 @@ extra_flags += \ -DCMAKE_BUILD_TYPE=RelWithDebInfo \ -DVTK_MODULE_ENABLE_VTK_ParallelMPI:STRING="YES" \ -DVTK_USE_MPI=ON \ + -DVTK_JAVA_SOURCE_VERSION:STRING=1.8 \ + -DVTK_JAVA_TARGET_VERSION:STRING=1.8 \ override_dh_auto_configure: -- 2.30.2